Universität Tübingen, Wilhelm-Schickard Institut für Informatik und Philosophisches Seminar

Peter Schroeder-Heister

Selected Publications 1990-1996

(With G. Heister und W. Ehrenstein) Spatial coding and spatio-anatomical mapping: Evidence for a hierarchical model of spatial S-R compatibility. In: R. W. Proctor, T. G. Reeve (eds.), Stimulus-Response Compatibility: An Integrated Perspective. Amsterdam: North-Holland 1990, 117-143.

(With Lars Hallnäs) A proof-theoretic approach to logic programming. I. Clauses as rules. II. Programs as definitions. Journal of Logic and Computation 1 (1990/1991), 261-283, 635-660.

Structural frameworks, substructural logics and the role of elimination inferences. In: G. Plotkin, G. Huet (eds.), Logical Frameworks. Cambridge University Press, 1991, 385-403.

Cut-elimination in logics with definitional reflection. In: D. Pearce, H. Wansing (eds.), Nonclassical Logics and Information Processing. International Workshop, Berlin, November 1990, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 619, Berlin/Heidelberg/New York 1992, 146-171.

(ed., with K. Dosen) Substructural Logics. Oxford University Press 1993.

Rules of definitional reflection. In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (Montreal 1993), Los Alamitos 1993, 222-232.

(With G. Heister). Spatial S-R compatibility: Positional instruction vs. compatibility instruction. Acta Psychologica 85 (1994), 15-24.

Definitional reflection and the completion. In: R. Dyckhoff (ed.), Extensions of Logic Programming. Fourth International Workshop, St. Andrews, Scotland, April 1993, Proceedings. Springer Lecture Notes in Artificial Intelligence, Berlin/Heidelberg/New York 1994, 333-347.

(with J. Hudelmaier) Classical Lambek logic. In: P. Baumgartner, R. Hähnle, J. Posegga (eds.), Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX '95 (St. Goar, May 7-10, 1995), Springer LNAI, Bd. 918, 247-262.

(ed., with R. Dyckhoff und H. Herre) Extensions of Logic Programming. Fifth International Workshop, ELP '96, Leipzig, Germany, March 1996, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 1050, Berlin/Heidelberg/New York 1996.

Ca. 180 articles in J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Vol. 1-4, Mannheim and Stuttgart 1980-1996. The most extensive one is about K.R. Popper (Vol. 3, 1995, pp. 289-296).

Popper's Theorie der Wahrscheinlichkeit. In: H. Keuth (ed.), Klassiker auslegen: Poppers "Logik der Forschung". Akademie-Verlag, Berlin, 1997 (in press).

Substructural Logics. In: D. Gabbay (ed.), Handbook of Philosophical Logic (New Edition). In preparation.

Frege and the resolution calculus. Submitted for publication.

(with J. Hudelmaier) The history of automated deduction and logic programming . In: D. van Dalen (ed.). Handbook of the History of Mathematical Logic (in preparation).

Zurück zur Homepage von Peter Schroeder-Heister